Nuprl Definition : es-state-when
11,40
postcript
pdf
es-state-when(
es
;
e
)(
x
) == es-when(
es
;
x
;
e
)
latex
Definitions
x
.
A
(
x
)
FDL editor aliases
es-state-when
origin
x.A(x)x.A(x)